Editing 1985 in science (section)

==Mathematics==
* March – [[Louis de Branges de Bourcia]] publishes proof of [[de Branges's theorem]].<ref>{{cite journal|last=de Branges|first=Louis|title=A proof of the Bieberbach conjecture|doi=10.1007/BF02392821|mr=772434|year=1985|journal=[[Acta Mathematica]]|volume=154|issue=1|pages=137–152|doi-access=free}}</ref>
* September – [[Dennis Sullivan]] publishes proof of the [[No wandering domain theorem]].<ref>{{cite journal|first=Dennis|last=Sullivan|s2cid=54186648|title=Quasiconformal homeomorphisms and dynamics I. Solution of the Fatou-Julia problem on wandering domains|journal=[[Annals of Mathematics]]|jstor=1971308|volume=122|year=1985|issue=2|pages=401–418|doi=10.2307/1971308 }}</ref>
* December – Publication of the ''[[ATLAS of Finite Groups]]''.
* [[Jean-Pierre Serre]] provides partial proof that a [[Frey curve]] cannot be [[Modular curve|modular]], showing that a proof of the semistable case of the [[Modularity theorem|Taniyama-Shimura conjecture]] would imply [[Fermat's Last Theorem]].
* [[Leonard Adleman]], [[Roger Heath-Brown]] and Étienne Fouvry prove that the first case of Fermat's Last Theorem holds for infinitely many odd primes ''p''.<ref>{{cite journal|author1=Adleman L. M. |author2=Heath-Brown, D. R. |date=June 1985|title=The first case of Fermat's last theorem|journal= [[Inventiones Mathematicae]]|volume=79|issue=2|pages=409–416|publisher=Springer|location=Berlin|doi=10.1007/BF01388981|bibcode = 1985InMat..79..409A |s2cid=122537472 }}</ref>